<?php

class UserException extends sfException
{
}

?>